Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
611	(L) Transducing RunesL1. B) start Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:31:24 Finite-state machine Edge Digital electronics Models of computation Automata theory
612	YOUR NAME: REGISTRATION # (L) Transducing Runespoints] Before the Roman alphabet was introduced to Northern Europe, much of Scandinavia and what is Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:31:24 Runic script Anglo-Saxon runes Finite-state machine Jēran Linguistics Germanic peoples Runic magic Notation Elder Futhark Alphabetic writing systems Automata theory Models of computation
613	Preproposal 3-January-1969 Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-06 18:18:09 Problem solving Theoretical computer science Artificial intelligence Cellular automata Formal methods Models of computation Cellular automaton Automata theory Logic Theorist Robot
614	The Evolution Homomorphism and Permutation Actions on Group Generated Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Cellular automaton Dynamical system Theoretical computer science Garden of Eden Rule 90 Icosahedron Finite-state machine Quotient group Seeds Cellular automata Theory of computation Mathematics
615	Microsoft Word - 2-Meszaros.doc Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-10-07 03:17:06 Theoretical computer science Automata theory Models of computation Computing Graph theory GReAT Event DEVS Action Graph rewriting Software engineering Unified Modeling Language
616	Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-14 12:15:43 Algorithm Science KeY STING Automata theory Models of computation Applied mathematics Mathematics Model checking
617	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
618	On the Dynamic Qualitative Behavior of Universal Computation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Theory of computation Turing machine Models of computation Turing completeness Busy beaver Cellular automaton Computability Tag system A New Kind of Science Theoretical computer science Computer science Computability theory
619	Application of Intelligent Automata to Reconnaissance (Thiird Interim Report) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-09-30 12:49:22 Automaton Robotics Technology Models of computation Computer science Automata theory Ancient Greek technology Automation
620	Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:39 Applied mathematics Computer science Models of computation Mathematics Π-calculus Lambda calculus Model theory Mobile Membranes Process calculi Theoretical computer science Ambient calculus

UPDATE